1. Identificação | |
Tipo de Referência | Artigo em Revista Científica (Journal Article) |
Site | mtc-m21b.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP5W34M/3GD3GHT |
Repositório | sid.inpe.br/mtc-m21b/2014/05.30.02.22.37 (acesso restrito) |
Última Atualização | 2015:02.10.11.42.08 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/mtc-m21b/2014/05.30.02.22.38 |
Última Atualização dos Metadados | 2018:06.04.03.04.14 (UTC) administrator |
DOI | 10.1007/978-3-319-04298-5-24 |
ISBN | 9783319042978 |
ISSN | 0302-9743 |
Rótulo | scopus 2014-05 GerlingerRomeroSchnGonç:2014:InUMCo |
Chave de Citação | RomeroSchnFerr:2014:InUMCo |
Título | Integrating UML composite structures and fUML |
Ano | 2014 |
Data de Acesso | 11 maio 2024 |
Tipo Secundário | PRE PI |
Número de Arquivos | 1 |
Tamanho | 796 KiB |
|
2. Contextualização | |
Autor | 1 Romero, Alessandro Gerlinger 2 Schneider, Klaus 3 Ferreira, Mauricio Gonçalves Vieira |
Identificador de Curriculo | 1 2 3 8JMKD3MGP5W/3C9JHT8 |
Grupo | 1 CSE-ETES-SPG-INPE-MCTI-GOV-BR 2 3 CRC-CRC-INPE-MCTI-GOV-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Department of Computer Science, University of Kaiserslautern, Germany 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 romgerale@yahoo.com.br 2 schneider@cs.uni-kl.de 3 mauricio@ccs.inpe.br |
Endereço de e-Mail | marcelo.pazos@inpe.br |
Revista | Lecture Notes in Computer Science |
Volume | 8327 LNCS |
Páginas | 269-280 |
Nota Secundária | A1_ADMINISTRAÇÃO,_CIÊNCIAS_CONTÁBEIS_E_TURISMO A1_BIODIVERSIDADE A2_GEOGRAFIA B1_SAÚDE_COLETIVA B1_INTERDISCIPLINAR B1_CIÊNCIAS_SOCIAIS_APLICADAS_I B2_EDUCAÇÃO B2_ARQUITETURA_E_URBANISMO B3_MEDICINA_III B3_ENGENHARIAS_I B3_ENGENHARIAS_II B3_ODONTOLOGIA B3_GEOCIÊNCIAS B3_EDUCAÇÃO_FÍSICA B3_MEDICINA_I B3_MEDICINA_II B3_DIREITO B3_PSICOLOGIA B4_MATERIAIS B4_BIOTECNOLOGIA B5_MEDICINA_VETERINÁRIA B5_CIÊNCIAS_BIOLÓGICAS_I B5_CIÊNCIAS_BIOLÓGICAS_II B5_ENSINO C_ASTRONOMIA_/_FÍSICA C_CIÊNCIA_DA_COMPUTAÇÃO C_CIÊNCIAS_AGRÁRIAS_I C_ENGENHARIAS_III C_CIÊNCIAS_BIOLÓGICAS_III C_ENGENHARIAS_IV C_CIÊNCIAS_AMBIENTAIS C_MATEMÁTICA_/_PROBABILIDADE_E C_QUÍMICA |
Histórico (UTC) | 2018-06-04 03:04:14 :: administrator -> marcelo.pazos@inpe.br :: 2014 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Palavras-Chave | composite structures static semantics formal analysis |
Resumo | To cope with the complexity of large systems, one usually makes use of hierarchical structures in their models. To detect and to remove design errors as soon as possible, these models must be analyzed in early stages of the development process. For example, UML models can be analyzed through simulation using the semantics of a foundational subset for executable UML models (fUML). However, the composite structures used to describe the hierarchy of systems in UML is not covered by fUML. In this paper, we therefore propose a complementary meta-model for fUML covering parts of UML's composite structures, and elaborate the rules previously defined in the literature for static semantics. These rules are described in an axiomatic way using first-order logic so that a large set of tools can be used for analysis. Our preliminary evaluation provides results about the applicability of the meta-model and the soundness of the rules. |
Área | ETES |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > Integrating UML composite... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > Integrating UML composite... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
Idioma | en |
Grupo de Usuários | administrator marcelo.pazos@inpe.br |
Grupo de Leitores | administrator banon marcelo.pazos@inpe.br |
Visibilidade | shown |
Política de Arquivamento | denypublisher denyfinaldraft12 |
Permissão de Leitura | deny from all and allow from 150.163 |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Vinculação | Trabalho não Vinculado à Tese/Dissertação |
Repositório Espelho | iconet.com.br/banon/2006/11.26.21.31 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/3F3PAJE |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.19.00.29 2 sid.inpe.br/bibdigital/2013/10.14.22.20 1 sid.inpe.br/mtc-m21/2012/07.13.14.56.30 1 |
Divulgação | WEBSCI; PORTALCAPES; COMPENDEX; SCOPUS. |
Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notas | |
Campos Vazios | alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel format lineage mark month nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject targetfile tertiarytype typeofwork url |
|
7. Controle da descrição | |
e-Mail (login) | marcelo.pazos@inpe.br |
atualizar | |
|